.jupyter-widgets.leaflet-container {
    height: 400px;
    overflow: hidden;
    flex: 1;
}

.jp-LinkedOutputView .jupyter-widgets.leaflet-container {
    min-height: 360px;  /* Min-height required for mirred output in jlab < 0.31.6 */
    height: 100%;
}

.leaflet-control-velocity.leaflet-control {
    background: rgba(255, 255, 255, 0.7);
    margin: 0;
    padding: 0 5px;
    color: #333;
    font-size: 11px;
}

/* Leaflet crispness override */
.crisp-image {
    /* Preserve crisp pixels with scaled up images */
    image-rendering: optimizeSpeed;             /* Legal fallback */
    image-rendering: -moz-crisp-edges;          /* Firefox        */
    image-rendering: -o-crisp-edges;            /* Opera          */
    image-rendering: -webkit-optimize-contrast; /* Safari         */
    image-rendering: optimize-contrast;         /* CSS3 Proposed  */
    image-rendering: crisp-edges;               /* CSS4 Proposed  */
    image-rendering: pixelated;                 /* CSS4 Proposed  */
    -ms-interpolation-mode: nearest-neighbor;   /* IE8+           */
}
